基于学生自主学习的高等数学“情景——问题”教学研究

当前,综合性大学高等数学教学中普遍存在着学生学习兴趣不高、学习动力不足、教学方法单等问题,为应对上述问题,我们给出高等数学"情境—问题"教学模式。该教学模式的特点是基于有效问题情境的创设,最大程度地激发学生的学习积极性,将质疑提问、培养问题意识、提高分析问题解决问题能力、提炼知识背后的深刻的数学思想等方面贯穿教学的全过程。该教学模式很好地贯彻了"以人为本"的教育理念,真正将学习的权利交还给了学生。     

论实现党委科学决策应重点把握的三个要素

实现党委科学决策,必须在学习理论中“扩容”思维,在学习科技中“升级”本领,在学习党章中“硬化”原则,夯实党委决策的基础;必须运用选点实验的方法为决策“试车探路”,运用咨询专家的方法为决策“出谋划策”,运用信息化手段方法为决策“助推加力”,丰富党委决策的方法;必须建立健全调研论证、民意表达、监督制约、失误追究等制度,规范党委决策的流程。     

关于重演理论的实证调查与分析

重演理论是数学史与数学教育整合的重要理论基础.通过调查学生对负数大小的识别,发现数学的历史发展过程与学生的认知过程有着一定的相似性,可以利用重演理论来构建数学课程.一方面,运用重演理论反思教学内容编排的合理性,对知识的呈现顺序进行更为合理的设计,对课程的整体设置进行更适切的把握;另一方面,在针对某一知识点进行教学设计时,通过研究数学史,对学生的认知障碍进行预先分析,结合史实资源开拓学生思维,使学生对知识的理解更加多元、更加深入.     

指挥员作战决策行为的EWA学习模型分析

摘要：为在根本上提高作战决策质量,从行为学角度入手,以指挥员这一“人”为中心,并结合认知科学、心理学等知识对指挥员作战决策行为进行研究。从博弈角度出发,通过引入EWA模型,对指挥员作战决策行为进行分析和优化。结果表明,EWA模型,特别是加入“老练”指挥员后的模型能够明显改善指挥员决策行为,对指挥员,尤其是经验匮乏的指挥员决策行为表现有着重要的作用。     

面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

如何改善路径测试用例生成的搜索算法

软件结构测试数据生成一直是软件测试领域一个较为复杂的问题,方法和手段尚未成熟。基于程序直接执行的测试数据生成方法因其动态性,显示出一定的优越性,本文主要针对该方法的核心部分——搜索算法进行讨论,探讨了有助于改善其功能的若干手段,目的在于提高算法效率,提高其实用化程度,显示出较好的实验效果。     

案例教学法的认识论分析

案例教学法是不同于传统的讲授式的教学方法,它遵循了从现象到本质,从感性认识到理性认识的认识规律;实现了学生由认知客体向认知主体的转变;其逻辑方法的本质是假说———演绎法,其机制是共同体内的讨论。论文分析了案例教学法中存在的问题,并提出了提高案例教学法效果的建议。     

维修性对装备维修工作量的影响分析

通过对装备维修工作量构成的论述,指出装备维修性是决定装备维修工作量的主要因素;通过对装备的维修性的分析,提出了提高装备维修性的有效途径,以达到减少装备维修工作量的目的.结合维修性案例,说明通过改进装备设计提高其维修性具有较大的实际价值.     

关于案例教学的思考

案例教学体现了人作为实践主体参与选择的“自组织系统” ,是对传统“灌输式”、“注入式”教学方法的创新和突破。消防指挥专业实施案例教学 ,能够促进学员实践能力的培养 ,促进学员的创造性思维 ,促进教学改革。     

Integrated scheduling of loading and transportation with tractors and semitrailers separated

Motivated by some practical applications, we study a new integrated loading and transportation scheduling problem. Given a set of jobs, a single crane is available to load jobs, one by one, onto semitrailers with a given capacity. Loaded semitrailers are assigned to tractors for transportation tasks. Subject to limited resources (crane, semitrailers, and tractors), the problem is to determine (1) an assignment of jobs to semitrailers for loading tasks, (2) a sequence for the crane to load jobs onto semitrailers, (3) an assignment of loaded semitrailers to tractors for transportation tasks, and (4) a transportation schedule of assigned tractors such that the completion time of the last transportation task is minimized. We first formulate the problem as a mixed integer linear programming model (MILPM) and prove that the problem is strongly NP‐hard. Then, optimality properties are provided which are useful in establishing an improved MILPM and designing solution algorithms. We develop a constructive heuristic, two LP‐based heuristics, and a recovering beam search heuristic to solve this problem. An improved procedure for solutions by heuristics is also presented. Furthermore, two branch‐and‐bound (B&B) algorithms with two different lower bounds are developed to solve the problem to optimality. Finally, computational experiments using both real data and randomly generated data demonstrate that our heuristics are highly efficient and effective. In terms of computational time and the number of instances solved to optimality in a time limit, the B&B algorithms are better than solving the MILPM. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 416–433, 2015